Optimal. Leaf size=721 \[ -\frac {2 \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \left (15 a^3 C d^2 f^2 h^3-15 a^2 b d^2 f^2 h^2 (B h+C g)+5 a b^2 d f h (6 B d f g h-C (c h (f g-e h)+d g (e h+2 f g)))-\left (b^3 \left (5 B d f h (c h (f g-e h)+d g (e h+2 f g))-C \left (4 c^2 f h^2 (f g-e h)+c d h \left (-4 e^2 h^2+e f g h+3 f^2 g^2\right )+d^2 g \left (4 e^2 h^2+3 e f g h+8 f^2 g^2\right )\right )\right )\right )\right ) \operatorname {EllipticF}\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right ),\frac {h (d e-c f)}{f (d g-c h)}\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 b \sqrt {g+h x} \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} E\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right ) \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (c f h+d e h+d f g))+b^2 \left (10 B d f h (c f h+d e h+d f g)-C \left (8 c^2 f^2 h^2+7 c d f h (e h+f g)+d^2 \left (8 e^2 h^2+7 e f g h+8 f^2 g^2\right )\right )\right )\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{d g-c h}}}+\frac {2 b^2 \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x} (2 C (a d f h-2 b (c f h+d e h+d f g))+5 b B d f h)}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.92, antiderivative size = 720, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 7, integrand size = 58, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.121, Rules used = {1600, 1615, 158, 114, 113, 121, 120} \[ -\frac {2 \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right ) \left (-15 a^2 b d^2 f^2 h^2 (B h+C g)+15 a^3 C d^2 f^2 h^3+5 a b^2 d f h (6 B d f g h-c C h (f g-e h)-C d g (e h+2 f g))+b^3 \left (-\left (5 B d f h (c h (f g-e h)+d g (e h+2 f g))-C \left (4 c^2 f h^2 (f g-e h)+c d h \left (-4 e^2 h^2+e f g h+3 f^2 g^2\right )+d^2 g \left (4 e^2 h^2+3 e f g h+8 f^2 g^2\right )\right )\right )\right )\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 b \sqrt {g+h x} \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} E\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right ) \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (c f h+d e h+d f g))+b^2 \left (10 B d f h (c f h+d e h+d f g)-C \left (8 c^2 f^2 h^2+7 c d f h (e h+f g)+d^2 \left (8 e^2 h^2+7 e f g h+8 f^2 g^2\right )\right )\right )\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{d g-c h}}}+\frac {2 b^2 \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x} (2 a C d f h+5 b B d f h-4 b C (c f h+d e h+d f g))}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 113
Rule 114
Rule 120
Rule 121
Rule 158
Rule 1600
Rule 1615
Rubi steps
\begin {align*} \int \frac {(a+b x) \left (a b B-a^2 C+b^2 B x+b^2 C x^2\right )}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx &=\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h}+\frac {\int \frac {5 a^2 (b B-a C) d f h-b^2 C (2 b c e g+a (d e g+c f g+c e h))+b (5 a (2 b B-a C) d f h-b C (3 b (d e g+c f g+c e h)+2 a (d f g+d e h+c f h))) x+b^2 (5 b B d f h+2 a C d f h-4 b C (d f g+d e h+c f h)) x^2}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx}{5 d f h}\\ &=\frac {2 b^2 (5 b B d f h+2 a C d f h-4 b C (d f g+d e h+c f h)) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h}+\frac {2 \int \frac {\frac {1}{2} d \left (15 a^2 b B d^2 f^2 h^2-15 a^3 C d^2 f^2 h^2-5 a b^2 C d f h (d e g+c f g+c e h)-b^3 \left (5 B d f h (d e g+c f g+c e h)-C \left (4 d^2 e g (f g+e h)+4 c^2 f h (f g+e h)+2 c d \left (2 f^2 g^2+3 e f g h+2 e^2 h^2\right )\right )\right )\right )-\frac {1}{2} b d \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (d f g+d e h+c f h))+b^2 \left (10 B d f h (d f g+d e h+c f h)-C \left (8 c^2 f^2 h^2+7 c d f h (f g+e h)+d^2 \left (8 f^2 g^2+7 e f g h+8 e^2 h^2\right )\right )\right )\right ) x}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx}{15 d^3 f^2 h^2}\\ &=\frac {2 b^2 (5 b B d f h+2 a C d f h-4 b C (d f g+d e h+c f h)) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h}-\frac {\left (15 a^3 C d^2 f^2 h^3-15 a^2 b d^2 f^2 h^2 (C g+B h)+5 a b^2 d f h (6 B d f g h-c C h (f g-e h)-C d g (2 f g+e h))-b^3 \left (5 B d f h (c h (f g-e h)+d g (2 f g+e h))-C \left (4 c^2 f h^2 (f g-e h)+c d h \left (3 f^2 g^2+e f g h-4 e^2 h^2\right )+d^2 g \left (8 f^2 g^2+3 e f g h+4 e^2 h^2\right )\right )\right )\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx}{15 d^2 f^2 h^3}-\frac {\left (b \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (d f g+d e h+c f h))+b^2 \left (10 B d f h (d f g+d e h+c f h)-C \left (8 c^2 f^2 h^2+7 c d f h (f g+e h)+d^2 \left (8 f^2 g^2+7 e f g h+8 e^2 h^2\right )\right )\right )\right )\right ) \int \frac {\sqrt {g+h x}}{\sqrt {c+d x} \sqrt {e+f x}} \, dx}{15 d^2 f^2 h^3}\\ &=\frac {2 b^2 (5 b B d f h+2 a C d f h-4 b C (d f g+d e h+c f h)) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h}-\frac {\left (\left (15 a^3 C d^2 f^2 h^3-15 a^2 b d^2 f^2 h^2 (C g+B h)+5 a b^2 d f h (6 B d f g h-c C h (f g-e h)-C d g (2 f g+e h))-b^3 \left (5 B d f h (c h (f g-e h)+d g (2 f g+e h))-C \left (4 c^2 f h^2 (f g-e h)+c d h \left (3 f^2 g^2+e f g h-4 e^2 h^2\right )+d^2 g \left (8 f^2 g^2+3 e f g h+4 e^2 h^2\right )\right )\right )\right ) \sqrt {\frac {d (e+f x)}{d e-c f}}\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}} \sqrt {g+h x}} \, dx}{15 d^2 f^2 h^3 \sqrt {e+f x}}-\frac {\left (b \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (d f g+d e h+c f h))+b^2 \left (10 B d f h (d f g+d e h+c f h)-C \left (8 c^2 f^2 h^2+7 c d f h (f g+e h)+d^2 \left (8 f^2 g^2+7 e f g h+8 e^2 h^2\right )\right )\right )\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {g+h x}\right ) \int \frac {\sqrt {\frac {d g}{d g-c h}+\frac {d h x}{d g-c h}}}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}}} \, dx}{15 d^2 f^2 h^3 \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{d g-c h}}}\\ &=\frac {2 b^2 (5 b B d f h+2 a C d f h-4 b C (d f g+d e h+c f h)) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h}-\frac {2 b \sqrt {-d e+c f} \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (d f g+d e h+c f h))+b^2 \left (10 B d f h (d f g+d e h+c f h)-C \left (8 c^2 f^2 h^2+7 c d f h (f g+e h)+d^2 \left (8 f^2 g^2+7 e f g h+8 e^2 h^2\right )\right )\right )\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {g+h x} E\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{d g-c h}}}-\frac {\left (\left (15 a^3 C d^2 f^2 h^3-15 a^2 b d^2 f^2 h^2 (C g+B h)+5 a b^2 d f h (6 B d f g h-c C h (f g-e h)-C d g (2 f g+e h))-b^3 \left (5 B d f h (c h (f g-e h)+d g (2 f g+e h))-C \left (4 c^2 f h^2 (f g-e h)+c d h \left (3 f^2 g^2+e f g h-4 e^2 h^2\right )+d^2 g \left (8 f^2 g^2+3 e f g h+4 e^2 h^2\right )\right )\right )\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}}\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}} \sqrt {\frac {d g}{d g-c h}+\frac {d h x}{d g-c h}}} \, dx}{15 d^2 f^2 h^3 \sqrt {e+f x} \sqrt {g+h x}}\\ &=\frac {2 b^2 (5 b B d f h+2 a C d f h-4 b C (d f g+d e h+c f h)) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{15 d^2 f^2 h^2}+\frac {2 b^2 C (a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}}{5 d f h}-\frac {2 b \sqrt {-d e+c f} \left (15 a^2 C d^2 f^2 h^2-10 a b d f h (3 B d f h-C (d f g+d e h+c f h))+b^2 \left (10 B d f h (d f g+d e h+c f h)-C \left (8 c^2 f^2 h^2+7 c d f h (f g+e h)+d^2 \left (8 f^2 g^2+7 e f g h+8 e^2 h^2\right )\right )\right )\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {g+h x} E\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{d g-c h}}}-\frac {2 \sqrt {-d e+c f} \left (15 a^3 C d^2 f^2 h^3-15 a^2 b d^2 f^2 h^2 (C g+B h)+5 a b^2 d f h (6 B d f g h-c C h (f g-e h)-C d g (2 f g+e h))-b^3 \left (5 B d f h (c h (f g-e h)+d g (2 f g+e h))-C \left (4 c^2 f h^2 (f g-e h)+c d h \left (3 f^2 g^2+e f g h-4 e^2 h^2\right )+d^2 g \left (8 f^2 g^2+3 e f g h+4 e^2 h^2\right )\right )\right )\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{15 d^3 f^{5/2} h^3 \sqrt {e+f x} \sqrt {g+h x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 12.76, size = 825, normalized size = 1.14 \[ -\frac {2 \left (b \sqrt {\frac {d e}{f}-c} \left (-\left (\left (C \left (\left (8 f^2 g^2+7 e f h g+8 e^2 h^2\right ) d^2+7 c f h (f g+e h) d+8 c^2 f^2 h^2\right )-10 B d f h (d f g+d e h+c f h)\right ) b^2\right )+10 a d f h (C (d f g+d e h+c f h)-3 B d f h) b+15 a^2 C d^2 f^2 h^2\right ) (e+f x) (g+h x) d^2+b^2 \sqrt {\frac {d e}{f}-c} f h (c+d x) (e+f x) (g+h x) (-5 b B d f h-5 a C d f h+b C (4 c f h+d (4 f g+4 e h-3 f h x))) d^2+i h \left (\left (C \left (e \left (4 f^2 g^2+3 e f h g+8 e^2 h^2\right ) d^2+c f \left (-4 f^2 g^2+e f h g+3 e^2 h^2\right ) d+4 c^2 f^2 h (e h-f g)\right )-5 B d f h (c f (e h-f g)+d e (f g+2 e h))\right ) b^3-5 a d f h (-6 B d e f h+c C f (e h-f g)+C d e (f g+2 e h)) b^2-15 a^2 d^2 f^2 (C e+B f) h^2 b+15 a^3 C d^2 f^3 h^2\right ) (c+d x)^{3/2} \sqrt {\frac {d (e+f x)}{f (c+d x)}} \sqrt {\frac {d (g+h x)}{h (c+d x)}} \operatorname {EllipticF}\left (i \sinh ^{-1}\left (\frac {\sqrt {\frac {d e}{f}-c}}{\sqrt {c+d x}}\right ),\frac {d f g-c f h}{d e h-c f h}\right ) d+i b (d e-c f) h \left (-\left (\left (C \left (\left (8 f^2 g^2+7 e f h g+8 e^2 h^2\right ) d^2+7 c f h (f g+e h) d+8 c^2 f^2 h^2\right )-10 B d f h (d f g+d e h+c f h)\right ) b^2\right )+10 a d f h (C (d f g+d e h+c f h)-3 B d f h) b+15 a^2 C d^2 f^2 h^2\right ) (c+d x)^{3/2} \sqrt {\frac {d (e+f x)}{f (c+d x)}} \sqrt {\frac {d (g+h x)}{h (c+d x)}} E\left (i \sinh ^{-1}\left (\frac {\sqrt {\frac {d e}{f}-c}}{\sqrt {c+d x}}\right )|\frac {d f g-c f h}{d e h-c f h}\right )\right )}{15 d^4 \sqrt {\frac {d e}{f}-c} f^3 h^3 \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 1.48, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {{\left (C b^{3} x^{3} - C a^{3} + B a^{2} b + {\left (C a b^{2} + B b^{3}\right )} x^{2} - {\left (C a^{2} b - 2 \, B a b^{2}\right )} x\right )} \sqrt {d x + c} \sqrt {f x + e} \sqrt {h x + g}}{d f h x^{3} + c e g + {\left (d f g + {\left (d e + c f\right )} h\right )} x^{2} + {\left (c e h + {\left (d e + c f\right )} g\right )} x}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (C b^{2} x^{2} + B b^{2} x - C a^{2} + B a b\right )} {\left (b x + a\right )}}{\sqrt {d x + c} \sqrt {f x + e} \sqrt {h x + g}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.06, size = 8421, normalized size = 11.68 \[ \text {output too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (C b^{2} x^{2} + B b^{2} x - C a^{2} + B a b\right )} {\left (b x + a\right )}}{\sqrt {d x + c} \sqrt {f x + e} \sqrt {h x + g}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\left (a+b\,x\right )\,\left (-C\,a^2+B\,a\,b+C\,b^2\,x^2+B\,b^2\,x\right )}{\sqrt {e+f\,x}\,\sqrt {g+h\,x}\,\sqrt {c+d\,x}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________